mcsta/modest mcsta mapk_cascade.jani -E N=4,T=30 --props activated_time -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --alg OptimisticValueIteration --epsilon 5e-2 --width 5e-2 --relative-width --p0 --p1
mapk_cascade.jani:model: info: mapk_cascade is a CTMC model.
mapk_cascade.jani: info: Need 32 bytes per state.
mapk_cascade.jani: info: Explored 99535 states for N=4, T=30.0.
Peak memory usage: 177 MB
Analysis results for mapk_cascade.jani
Experiment N=4, T=30.0
+ State space exploration
State size: 32 bytes
States: 99535
Transitions: 99535
Branches: 901842
Rate: 77099 states/s
Time: 1.3 s
+ Property activated_time
Value: 41.536128039727416
Bounds: [39.889222746213335, 43.1830333332415]
Time: 2.5 s
+ Precomputations
Min. prob. 0 states: 0
Time for min. prob. 0 states: 0.0 s
Min. prob. 1 states: 99535
Time for min. prob. 1 states: 0.0 s
+ Essential states
Iterations: 1
Essential states: 98076
Transitions: 98076
Branches: 900383
Time: 0.1 s
+ Optimistic value iteration
Total iterations: 300
Verif. attempts: 5
Verif. iterations: 113
Final epsilon: 0.00035742029364988664
Time: 2.4 s
Exported results to file "/out.txt".